Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
271	Runtime Verification for LTL and TLTL ANDREAS BAUER NICTA and Australian National University MARTIN LEUCKER Technische Universit¨at M¨ unchen Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:35 Automata theory Logic in computer science Formal methods Models of computation Temporal logic Linear temporal logic Formal verification Runtime verification Model checking Theoretical computer science Logic Mathematical logic
272	Monitoring of real-time properties Andreas Bauer, Martin Leucker, and Christian Schallhart Institut f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. This paper presents a construction for runtime monitors t Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:28 Formal methods Computer science Linear temporal logic Deterministic finite automaton Nondeterministic finite automaton Symbol Model theory Automata theory Models of computation Theoretical computer science
273	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
274	Outline Model checking real-time systems Algorithmic Verification Comp4151 Lecture 12-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:07 Models of computation Hybrid automaton Model checking Formal methods Computer science Finite-state machine Hybrid system Automata theory Differential equations Theoretical computer science
275	TUM ¨ R INFORMATIK INSTITUT FU Runtime verification revisited Oliver Arafat, Andreas Bauer, Martin Leucker, Christian Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:37 Formal languages Computer science Applied mathematics Linear temporal logic Temporal logic Ω-automaton Deterministic finite automaton Nondeterministic finite automaton Model theory Automata theory Theoretical computer science Models of computation
276	Chapter 18 of Feynman and Computation (A. Hey, ed.), Perseus Books[removed]CRYSTALLINE COMPUTATION Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2005-01-16 13:05:56 Lattice models Condensed matter physics Ising model Quantum computer Cellular automaton Digital physics Introduction to quantum mechanics Quantum mechanics Physics Theoretical physics Statistical mechanics
277	Latent Domain Translation Models in Mix-of-Domains Haystack Hoang Cuong and Khalil Sima’an Institute for Logic, Language and Computation University of Amsterdam Science Park 107, 1098 XG Amsterdam, The Netherlands Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:25:17 Mathematical logic Machine translation Semantics Interpretation Philosophy of language Philosophy of mind Function BLEU Statistical machine translation Mathematics Model theory Mathematical analysis
278	Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core Add to Reading List Source URL: bmdfm.de Language: English - Date: 2015-02-13 17:40:59 Computer architecture Parallel computing Models of computation Programming paradigms Computer data Dataflow BMDFM Multi-core processor Oz Computing Concurrent computing Software engineering
279	REPAST STATECHARTS GUIDE JONATHAN OZIK, NICK COLLIER - REPAST DEVELOPMENT TEAM 0. Before we Get Started Before we can do anything with Repast Simphony, we need to make sure that we have a proper installation of Repast Si Add to Reading List Source URL: repast.sourceforge.net Language: English - Date: 2014-07-07 13:26:26 Software engineering Science Diagrams Graph drawing Infographics State diagram Repast Agent-based model Span and div Models of computation Computing UML diagrams
280	Leveraging Synchronous Language Principles for Heterogeneous Modeling and Design of Embedded ∗ Systems Edward A. Lee Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2013-12-17 02:12:08 Models of computation Logic in computer science Programming language semantics Concurrency Concurrent computing Denotational semantics Actor model Operational semantics SIGNAL Theoretical computer science Computing Software engineering